TSTP Solution File: COM166^1 by SInE---0.4